16 BAIRE'S THEOREM AND ITS CONSEQUENCES 81
finite subsets of E, but taking E with the weak topology, so that this topology is
defined by the seminorms pXty(U)= \(U • x\y)\ for all x,y in E. This topology is
coarser than the strong topology.
(a) Show that the weak topology is not metrizable (same method as in Problem 8(a)).
(b) The unit ball ^ in &(E; E) is metrizable and compact in the weak topology
(method of (12.5.7)).
(c) The bounded sets in &(E; E) are the same for the weak topology as for the strong
topology.
(d) The mapping U\~*U* of &(E; E) into itself is continuous with respect to the
weak topology.
(e) Show that the mapping (U, V) -* UV of V x <$ into tf is not continuous for the
weak topology. (If fe)nez is a Hilbert basis of E indexed by Z, consider the "shift
operator" U defined by U- en — en+1 for all n eZ, and its powers U* and U~n.)
The topology induced on the unitary group U(E) by the weak topology is identical
with that induced by the strong topology, and hence is compatible with the group
structure. Also U(E) is not closed in f for the weak topology.
(f) Show that, for each U0 e &(E; E), the linear mappings Fh-» U0 V and V\-+ VUQ
are continuous on &(E; E) for the weak topology.
(g) Let Jt be a submonoid of *€ (i.e., Jf is stable under multiplication). Show
that the closure of Jt with respect to the weak topology on JS?(E; E) is a compact
monoid, which is commutative if Jt is commutative.
10. The notation is the same as in Problem 9.
(a) Let UeV. Show that the relations U - x = jc, (*| U • x) = (x | *), and U* - x = x
are equivalent.
(b) Deduce that the idempotent operators in V are the orthogonal projections
(Sections 6.3 and 11.5.)
11. Let E be a separable Hilbert space, Jt a submonoid containing the identity 1E
which is weakly closed (and therefore weakly compact) in *$ (notation of Problem 8).
For each x e E, the orbit of x under Jt is the set Jt - x of vectors U - x where U e Jt\
it is weakly compact in E. We say that x is a flight vector with respect to Jt if
0 e Jt - x, and that x is a reversible vector with respect to Jf if for each Ue Jt there
exists Ve Jit such that VV • x = x. Let F(^f) (resp. R(uO) denote the set of flight
(resp. reversible) vectors with respect to Jt. If x is reversible, then ||£/*x|| = \\x\\
for all UzJt.
(a) Every orbit Jt • x contains a minimal orbit N (Section 12.10, Problem 6), and
every y e N is reversible with respect to Jt. Let U e Jt be such that U • x = y e N,
and let <stf be the weakly closed submonoid generated by 1E and U: this submonoid
jtf is commutative. Let pc^-^cN be a minimal orbit with respect to jtf,
and let Fe jaf be such that V- y = z e P. Show that there exists We jtf such that
VUW - z = z; deduce that the vector x — W - z is a flight vector, and hence that every
jc e E is the sum of a flight vector and a reversible vector belonging to Jt • x.
(b) Show that if x e E is reversible with respect to Jt then x is also reversible with
respect to every weakly closed submonoid ^T, (Split up x into the sum of a vector
y e R( Jf) belonging to JT • x and a vector z e F(^); use the fact that if a, b are two
distinct vectors in E with the same norm, then ||i(*M~ b)\\ < \\a\\ = \\b\\, and deduce
that y = x.) Deduce that if x e R(^), then given any U e Jt there exists an element
V in the weakly closed submonoid of Jt generated by 1E and U\ such that
VU-x^x. group of a right Cauchy